Hướng dẫn tra cứu

  • Tìm nhanh: Tìm trong Tên tài liệu, Tác giả, Năm xuất bản, Từ khóa
  • Tìm đơn giản: Tìm theo Loại tài liệu, Từ khóa, Tên tài liệu, Tác giả, Năm xuất bản
  • Tìm nâng cao: Tìm theo theo toán tử AND, OR, NOT
  • Tìm liên thư viện: Tìm tài liệu ở thư viện liên kết
Tìm nhanh
  • Tất cả tài nguyên
  • Loại tài liệu
  • Toàn bộ CSDL
Tất cả
And
Tất cả
And
Tất cả
And

Tìm thấy 3 Kết quả

Sắp xếp Hiển thị:
    • 1.

      Giáo trình logic toán và lịch sử toán học

      Phân loại: 511.3
      Tác giả: Nguyễn Anh Tuấn
      Thông tin xb: H.: Nxb. Đại học Sư phạm, 2012
      Nguồn tài liệu: Sách lẻ
    • 2.

      Giáo trình ngôn ngữ hình thức và Ôtômát

      Phân loại: 511.3
      Thông tin xb: Thái Nguyên: Đại học Thái Nguyên, 2009
      Nguồn tài liệu: Sách lẻ
    • 3.

      Đại cương lôgic toán

      Phân loại: 517.2
      Tác giả: Nôvikốp, P.X.
      Thông tin xb: H.: Khoa học và kỹ thuật, 1971
      Nguồn tài liệu: Sách lẻ
    THƯ VIỆN KHOA HỌC TỔNG HỢP THÀNH PHỐ HẢI PHÒNG
    Địa chỉ: Số 213A Lạch Tray - Ngô Quyền - Hải Phòng
    Điện thoại: 0225.6260927 - Email: thuvienhaiphong@gmail.com